style: Remove workspace padding

It makes the background jump when animating from the session.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1599>

diff --git a/data/theme/gnome-shell-sass/widgets/_window-picker.scss b/data/theme/gnome-shell-sass/widgets/_window-picker.scss
index 1b93218517dbe9dfab6c384b2c09f1210996335f..4cf3e12e2f575eb42d62481cf36df592be09fd1e 100644 (file)
--- a/data/theme/gnome-shell-sass/widgets/_window-picker.scss
+++ b/data/theme/gnome-shell-sass/widgets/_window-picker.scss
@@ -14,11 +14,6 @@ $window_clone_border_size: 6px;
 .window-picker {
   // Space between window thumbnails
   spacing: $window_picker_spacing;
-
-  // Padding for container around window thumbnails
-  padding: $window_picker_padding;
-
-  &.external-monitor { padding: $window_picker_padding; }
 }
 
 // Borders on window thumbnails